证明了Hilbert代数(H，→，1)是反正蕴涵的BCK-代数，即若使a*b=b→a，则(H，*，1)是正蕴涵BCK-代数。1在(H，→，1)中是最大元，而在(H，*，1)中是最小元......

分别对ＢＣＫ－代数对理想的充要条件和有界关联ＢＣＫ－代数关于对偶理想的商代数进行了研究。......

运用模糊点的概念研究BCK代数的模糊理想等一些基本概念和性质，建立它与利用隶属函数和水平截集等常见刻画方式之间的关系。......

把BCK-代数与模糊理论相结合,引入Fuzzy可换理想,并得到了一些相应的有益结果,同时,给出了三类Fuzzy理想之间的关系.......